Autogenerated HTML docs for v1.7.5.3-367-ga9930 
diff --git a/git-sh-setup.html b/git-sh-setup.html index 59db285..9f6be34 100644 --- a/git-sh-setup.html +++ b/git-sh-setup.html 
@@ -495,9 +495,19 @@  </dt>   <dd>   <p>  - checks if the repository is a bare repository, and dies  - if so. Used by scripts that require working tree  - (e.g. <tt>checkout</tt>).  + checks if the current directory is within the working tree  + of the repository, and otherwise dies.  +</p>  +</dd>  +<dt class="hdlist1">  +require_work_tree_exists  +</dt>  +<dd>  +<p>  + checks if the working tree associated with the repository  + exists, and otherwise dies. Often done before calling  + cd_to_toplevel, which is impossible to do if there is no  + working tree.   </p>   </dd>   <dt class="hdlist1">  @@ -517,7 +527,7 @@  </div>   <div id="footer">   <div id="footer-text">  -Last updated 2011-03-15 23:30:14 UTC  +Last updated 2011-05-26 22:39:23 UTC   </div>   </div>   </body>